html, body {
    height: 100%;
    margin: 0;
    padding: 0;
}

body {
    font-size: 11px;
    font-family: Verdana;
    color: black;
    background-color: white;
}

.shell-menu {
    position: fixed;
    border-right: 1px solid #eaeaea;
    left: 0;
    top: 0;
    bottom: 0;
    width: 200px;
}

.shell-menu a {
    display: block;
    padding: 5px;
    border-top: 1px solid #eaeaea;
    border-bottom: 1px solid #eaeaea;
    margin: 3px 0 3px 0;
    color: black;
}

.shell-container {
    position: fixed;
    left: 200px;
    right: 0;
    top: 0;
    bottom: 0;
    overflow: auto;
    padding: 5px;
}

.shell-container h1 {
    font-size: 11px;
    font-weight: bold;
}